This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.

For the scholastic philosopher William Ockham (c. 1285-1347), there are three kinds of heresy. The first, and most unmistakable, is an outright denial of the truths of faith. Another is so obvious that a very simple person, even if illiterate, can see how it contradicts Divine Scripture. The third kind of heresy is less clear cut. It is perceptible only after long deliberation and only to individuals who are learned, and well versed in Scripture. It is this third variety of (...) heresy that J.M.M.H. Thijssen addresses in Censure and Heresy at the University of Paris, 1200-1400. The book documents 30 cases in which university trained scholars were condemned for disseminating allegedly erroneous opinions in their teaching or writing, and focuses particularly on four academic censures that have occupied prominent positions in the historiography of medieval philosophy. Thijssen grants central importance to a number of questions so far neglected by historians regarding judicial procedures, the authorities supervising the orthodoxy of teaching, and the effects of condemnations on the careers of the accused. He also places still current questions regarding academic freedom and the nature of doctrinal authority into their medieval contexts. (shrink)

This paper studies the problem of the arrow of time from the scientific and philosophical perspective. The scientific section (Castagnino) poses the topic according to the instruments of measuring employed in physical theories, specially when they are applied to dynamic chaotic systems in which a temporal asymmetry is shown. From the analysis of “two schools” (epistemological and ontological), the conclusion is favorable to the reality (both ontological and epistemological) of the difference between past and future, with the recourse to Reichenbach’s (...) notion of global system. In the philosophical section (Sanguineti) the content of the scientific part of the article is presented in a qualitative way. The role of some philosophical choices in the scientific field is stressed, taking into account the diversity of a positivistic and realistic view. (shrink)

This book is a collection of papers on the metaphysics and natural philosophy of John Buridan (ca. 1295-1361), one of the most innovative and influential ...

The number of discriminable colours is often assumed to be of the order of several million but the extent of detectable chromatic diversity present in individual natural scenes is an open question. Here, the aim was to estimate the number of discriminable colours seen in natural scenes. Hyperspectral data were obtained from a set of natural scenes over the range 400 - 720 nm at 10 nm intervals (Nascimento et al, 2002 Journal of the Optical Society of America A 19 (...) 1484 - 1490) and the representation of each scene in CIELAB space computed for all pixels of the image. The number of discriminable colours was estimated by counting the number of unit volumes in the three-dimensional volume defined by the scene when represented in CIELAB space. We found that the number of discriminable colours estimated in a scene could vary by an order of magnitude from scene to scene, but rarely exceeded 105, indicating a limited chromatic diversity. (shrink)

“Playing God” is the charge frequently leveled when physicians and patients agree to withdraw life-sustaining medical treatments and let the patient die. The accusation rings hollow in the context of four hundred years of moral reflection on the duty of an individual to undergo medical treatments to preserve life. From the teachings of Soto and Banez in the 16th century through the President's, Commission 1983 report ‘deciding to forego life-sustaining treatments’ there is a clear and constant teaching that though life (...) is sacred it is not an absolute and our moral duty to preserve it is limited and based on rational reflection. No patient need undergo any treatment or procedure that is “disproportionately” costly, burdensome, or painful. The assessment of whether to accept or reject a proposed treatment is in part subjective and belongs to the individual patient. The only remaining issue is how to make that judgment for those unable to speak for themselves. (shrink)

J. M. M. H. Thijssen - Nicolas d'Autrécourt et la Faculté des Arts de Paris - Journal of the History of Philosophy 46:1 Journal of the History of Philosophy 46.1 172-173 Muse Search Journals This Journal Contents Reviewed by Johannes M. M. H. Thijssen Radboud University Nijmegen Stefano Caroti and Christophe Grellard, editors. Nicolas d'Autrécourt et la Faculté des Arts de Paris . Quaderni di Paideia, 4. Cesena: Stilgraf Editrice, 2006. Pp. 329. e32.00. This book is a coherent set of (...) papers resulting from a conference organized by its editors, Stefano Caroti and Christophe Grellard. In the opening paper, William Courtenay rightly observes that the 1330s are an understudied period in the intellectual history of the University of Paris, especially with respect to its.. (shrink)

By way of conclusion we may add the following three items to A. Maier's and G. Federici-Vescovini's investigations: 1. The Questiones super libris Physicorum in the ms. Cesena, B. Malatestiana S.VIII.5 have been incorrectly attributed to John Buridan. Their real author is Albert of Saxony. 2. The ms. Cesena, B. Malatestiana S.VIII.5 ff. 4ra-4vb contains the Prologue and the tabula questionum of the Questions on De gen. et corr., whereas the ms. Vat. lat. 3097 ff. 103ra-146rb has the complete text. (...) This Prologue and the questions 1 and 3 can also be found in Vat. lat. 2185 ff. 50ra-50vb. This text certainly cannot be considered as another copy of Buridan's well known Questions on De gen. et corr. Neither is it certain that Nicole Oresme is their author, as A. Maier seems to believe. There are indications pointing in the direction of a redaction other than the one known, of Buridan's Questions. In any case this possibility cannot be ruled out by the material that has been presented here. 3. The ms. Cesena, B. Malatestiana S.VIII.5 has at one time had the same owner as the codices Vat. lat. 2159, 2160, 2185 and 3066, and the codices Cesena, B. Malatestiana S.VII.5 and S.VIII.2. This owner was in all probability Bernardus a Campanea of Verona, a physician. (shrink)